Software system safety - PDFSEARCH.IO - Document Search Engine

Software system safety
Results: 864

#	Item
361	UNION INTERPARLEMENTAIRE INTER-PARLIAMENTARY UNION Association of Secretaries General of Parliaments Add to Reading List Source URL: asgp.co Language: English - Date: 2014-07-02 05:09:07 Systems engineering Formal methods Safety Software engineering Reliability engineering Software development process Software development methodology Programming tool Life-critical system Software development Software quality Software
362	On personally appeared in open court before now sitting Add to Reading List Source URL: revwarapps.org Language: English - Date: 2014-05-29 21:21:18 Systems engineering Formal methods Safety Software engineering Reliability engineering Software development process Software development methodology Programming tool Life-critical system Software development Software quality Software
363	MDEP Generic Common Position Multinational Design Evaluation Programme Generic Common Position DICWG No2 – PUBLIC USE Add to Reading List Source URL: www.oecd-nea.org Language: English - Date: 2013-03-28 07:57:46 Systems engineering Formal methods Safety Software engineering Reliability engineering Software development process Software development methodology Programming tool Life-critical system Software development Software quality Software
364	Fundamentals of Fault-Tolerant Distributed Computing in Asynchronous Environments FELIX C. GÄRTNER Darmstadt University of Technology Fault tolerance in distributed computing is a wide area with a significant body of Add to Reading List Source URL: www.cs.nyu.edu Language: English - Date: 2007-04-11 12:16:47 Systems engineering Software quality Prevention Fault tolerance Fault-tolerant design Fault-tolerant system Dependability Self-stabilization Reliability engineering Fault-tolerant computer systems Computing Safety
365	(4) Countermeasures against Unauthorized Access Is your computer really safe? （For PC Users） Add to Reading List Source URL: www.ipa.go.jp Language: English - Date: 2013-05-29 21:17:15 Computer network security Windows XP Password Spyware Microsoft Windows Windows Firewall Computer security Network security Security and safety features new to Windows Vista Espionage System software Security
366	The Power of Ten – Rules for Developing Safety Critical Code1 Gerard J. Holzmann NASA/JPL Laboratory for Reliable Software Pasadena, CA[removed]Most serious software development projects use coding guidelines. These guid Add to Reading List Source URL: pixelscommander.com Language: English - Date: 2014-12-25 18:52:44 Data types Source code Type theory C++ Cross-platform software Assertion C Pointer Type system Computer programming Computing Software engineering
367	Replace this file with prentcsmacro.sty for your meeting, or with entcsmacro.sty for your meeting. Both can be found at the ENTCS Macro Home Page. Dynamics for ML using Meta-Programming Thomas Gazagnaire Add to Reading List Source URL: gazagnaire.org Language: English - Date: 2013-11-14 06:21:29 Type theory Functional languages Data types OCaml Functional programming ML Caml Type system Type safety Software engineering Computing Programming language theory
368	EDES Methodology for Conducting Setting up a Food Safety System Self Assessment Guide Add to Reading List Source URL: www.icco.org Language: English - Date: 2014-01-10 11:41:17 Traceability Software development process Cocoa Science Technology Software engineering Barcodes Radio-frequency identification
369	Replace this file with prentcsmacro.sty for your meeting, or with entcsmacro.sty for your meeting. Both can be found at the ENTCS Macro Home Page. Dynamics for ML using Meta-Programming Thomas Gazagnaire Add to Reading List Source URL: thomas.gazagnaire.org Language: English - Date: 2013-11-14 06:21:29 Type theory Functional languages Data types OCaml Functional programming ML Caml Type system Type safety Software engineering Computing Programming language theory
370	Safety Risk Management Guidance for System Acquisitions, Version 2.0, Air Traffic Organization 2014 Add to Reading List Source URL: www.faa.gov Language: English - Date: 2014-08-08 11:01:25 Aviation Air Traffic Organization Next Generation Air Transportation System System safety Safety engineer Occupational safety and health Air traffic control Management system Software development process Safety Safety engineering Risk

UPDATE